The cross product of multiple state machines, I expect. If you try and use a single state diagram to encode the product of states, everything multiplies.
Ah, ok. That's kind of what I meant by upfront design, though. Yeah, mapping this out is gonna suck, but it's better than having it hidden in a bunch of ifs.
[1] https://statecharts.dev/