Dad, husband, professor (math and CS), and researcher. Counter of angels on the heads of pins. Probing the intersection of mathematics, logic, language, and philosophy. Views are, for better or worse, mine alone.