_ _ _ _ _ _ _ _ _ _ _ _ _
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.
_ _ _ _ _ _ _ _ _ _ _ _ _
^__^
(..)\_______
(__)\ )\/\
||----w |
|| ||
ls /var | wc -l