Input (grade 11): If the two agree, he knows that the author of the message was in possession of Alice's private key, and that the message has not been tampered with since.
Output (grade 11): If the two agree, he knows that the author of the message was in possession of Alice's secret key, and that the message has not been tampered with since.