Yesterday Tyler ate lunch at his local diner The bill for his meal came
to $8.40, not including sales tax. Tyler wants to leave a 15% tip for his
waiter. How much should his tip be?