Coordinate proofs