ch 7, some asserts