CAS problem