DTS RawsEditsLeahProofs