Text this: Logic Colloquium '82 :