. . . "If your procedure works correctly, one of the messages generated will" .