I think there's a typo in example 1.5: "In normal-order evaluation, (p) is not evaluated because predicate of if evaluates to false". The 'false' should be 'true'.