CAS examples from pak Adin