Currently based in Colorado, working mainly on logic, language, and metaphysics.