Text this: Logic Journal of the IGPL