SG 05-23-06 Proofs - leebase