State graph
Proofread