We continue our study of state machines.