Coordinate Proofs

MILESTONE 7, STEPPING STONE 5