Solution 4.2:3b