Manny proofs