ana proofs