"Make invalid states unrepresentable" is such a useful adage when designing even basic systems, much less the gates to control your server.