Text this: Logic Colloquium :