See thread. The no-invalid-states idea can be generalized to property based testing if your data structures can't be explicit.
Quote Tweet
Been working on some complex UI for a bit. Defined my no-invalid-states type early on, and it's been relentlessly keeping me honest since.