A personal project where I try to look at the unverified abstractions at the bottom of our most significant conceptual structures.