A true or false statement put into code that the programmer expects to always be true is an ...
exception
harness
assertion
expression