Not this again ...

Assertions should only be thought of as predicates on state space to ensure program correctness. Everything else is just a corollary.

Some relevant past comments of mine here - https://news.ycombinator.com/item?id=48358691