Lennox Proofs