aj proofs