A CAS example added.