A division of Puntopia, dedicated to the study of logic in the pursuit of puns.
Puns are the new logic, and we're here to prove it.