Exercise 4.42 - another truth-value puzzle