Alyson proofs