GoProof box comment expanded

GoProof box comment expanded