Condition that must be fulfilled once the transition has occurred. Useful only for protocol state diagrams.