_ _ _ _ _ _ _ _ _ _ _ _ _
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.
_ _ _ _ _ _ _ _ _ _ _ _ _
\ / \/ (__) /\ (oo) O O _\/_ // * ( ) // \ (\\ // \( \\ ) ( \\ ) /\ ___[\______/^^^^^^^\__/) o-)__ |\__[=======______//________)__\ \|_______________//____________| ||| || //|| ||| ||| || @.|| ||| || \/ .\/ ||
!whereis