Karlson's Theorem of Snack Food Packages:
For all P, where P is a package of snack food, P is a SINGLE-SERVING package of snack food.
Gibson the Cat's Corollary:
For all L, where L is a package of lunch meat, L is Gibson's package of lunch meat.
(Snagged from today's Kevin & Kell, by Bill Holbrook)