Harry is a 70-year-old retiree who joined the AARP. To celebrate, he took his daughter to a restaurant and flashed his new AARP card when the check came, earning him a 15 percent discount. What kind of benefit has Harry just used