Invariants

A property that must always hold true — and what encoding them in your type system buys you.