Updated lower-level state diagram