KT 09/15/2007 Proofs - leebase