Making illegal states unrepresentable

In state modeling, perfection is achieved not when there is nothing more to add, but when there is nothing left to take away. "Making illegal states unrepresentable" is a very powerful approach to data modelling and software design in general.