Ordering and Paying at a Restaurant