SandezFirstCutSandezProofs