Thinking about state helps me write better code. If the codebase for a project is small enough, and I can enumerate all states and all ways that states can chan

Thinking about state helps me write better code. If the codebase for a project is small enough, and I can enumerate all states and all ways that states can change into other states, I can make code that is so stable it can run indefinitely. Very satisfying. The next logical step from this point, I guess, is TLA+ (I still haven't tried it).