State Diagram: Exception / State Diagram