Clarify that checks on PDUs should refer to the state *before* an event.