verify: use CAS