15.4.3 What’s for Lunch?