Text this: Logic colloquium '85 :