Matt S '09 Proofs - leebase