Restaurants often offer mints to their patrons after a meal. This is an old tradition geared to reducing the chance of untoward gaseous emissions. Gas builds up in the intestine in various ways....