Something that might happen as a consequence of eating in a restaurant is tipping the waiter