Ch2, Ex3

Functions are always supposed to return a value. If predicate is false and there is no else statement then no value is returned which is not the intended behavior of functions. On the other hand procedures are entities which just cause side effects and return no value, so in their case the mentioned situation is not an error.