More state diagrams