User:Arespredator

I'm a PhD student in logic.