Removed old proofs