I'm a philosopher and currently running a masters program in logic