allyson proofs