Ctfl-aut (VERIFIED)