ex 1.1.15 - simplify