Text this: Logic Colloquium '85 :