EditsGS Proofs