Hunt Family Spring 09 Proofs - leebase