Text this: Logic Colloquium '87 :