
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.
