also the following 2 asserts