Karlson's Theorem of Snack Food Packages:
For all P, where... 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 Corrolary:
For all L, where L is a package of lunch meat, L is Gibson's package
of lunch meat.