Text this: Logic Colloquium '88 :