Proof Your ATF Is Good For You