Text this: Philosophical and Mathematical Logic