GoProof edits2

GoProof edits2