So here you have in pictures basically that when Alice wants to send a message to Bob she computes a tag by the value of PRF and then she appends this tag to the message, Bob receives the corresponding tab pair, he recomputes the value of the function and tests whether the given tag is actually equal to the value of the function at the point M. So let's look at a bad example of this instruction. 