Proofs with basic edits for selection and additional editing