Midpoint Proofs