Rules and invariants you can rely on