Fran's state transition diagram: