Ctfl-aut [verified] -