State diagrams included