I: Assertion