Added lower-level state diagram