Ways to indicate the verb
- Case 0: No verb.
- Case 1: Verb is out-of-band.
- Case 2: Verb can be inferred from message M, though it is not
explicitly indicated.
- Case 3: Verb is explicitly conveyed in message M
- Case 4: Verb is explicitly conveyed by the protocol
