Case 2: Verb can be inferred from message M

(Though it is not explicitly indicated)

• Client C sends message M1 to S, and M2 to S2
• I.e., M1 and M2 are slightly different, permitting the different verbs to be inferred