Text this: Logic Colloquium '84 :