Text this: Logic Colloquium 76 :