I am a Ph.D. Candidate at the University of Groningen. I work in the Roots of Deduction project led by Catarina Dutilh Novaes.