Annsley proofs