[jeremiep]

Which is why you should put those assumptions in contracts. Preconditions, postconditions and invariants were made exactly for that purpose.

I used to think these were a distraction from actual programming until I realized how much debugging time they save.