fixed the language and in ch7. precise assumptions violated