ch 7, ex 13 + some asserts