The credit card receipt shows 1 total: food+tax. So the amount the server is basing the tip off is higher than what I am. So for me to tip what they think is 20%, I have to tip what I think is 22%.