Now his goal is to produce a message tag pair and we say that he wins, remember that this is an existential forgery, in other words first of all T has to be equal to F of M This means that 'T' is a valid tag for the message 'M'. 