Computational Logic researcher and LaTeX lover.