"As explained in chapter 11 of Meyer’s book, assertions are meant to check the correctness of a piece of software; that is, its ability to perform the tasks defined in their specification.
Because, you do have a specification, right? Right?"
https://deprogrammaticaipsum.com/asser…