User:William Lovas

I'm just this guy, y'know? I like type theory, logic, and mathematical philosophy. William has three brothers named Michael, John, and Timothy.