Illegal vs Unwanted States
The article distinguishes between illegal states (states a system must never be in) and unwanted states (states that are acceptable temporarily but must be resolved). It argues that many states engineers try to make illegal—like scheduling conflicts or overbooking—are actually unwanted, and systems need to represent them because external inputs and workflows sometimes require them.