Removed proofs