GoProof Wizard Add Message

GoProof Wizard Add Message