EditsRaw/Proofs