Know what your code must do, and prove it.

One source of truth for what your code must always do.