GoProof choices

GoProof choices