Assertions -- formal specification

• require -- method call pre-condition
• ensure, promise -- post-condition
• invariant -- object invariance