Add \Halmos to ends of proofs