This ∧ That

This is a weigh station for my half-baked ideas. Hope you like endless parentheticals, unnecessary footnotes, and bad jokes (oh, and I guess logic, type theory, computation, etc.).