A rule defining state transitions