Assertion 10.1.2