Ak and CPROOF