Assertion Mechanism

Describe the assertion mechanism here. Refer to [Meyer97] where appropriate.