AH May 2009 Proofs - leebase