Type systems, database normalisation, reactive programming (i.e.: non-manual state management), or more generally making illegal states unrepresentable are the

Type systems, database normalisation, reactive programming (i.e.: non-manual state management), or more generally making illegal states unrepresentable are the software equivalents!