Couldn't we use CAS ?