More on assertions, refs to TDD and Invariants as motivation