Assertion 1.2