Proof 1 edit