Text this: Logic Colloquium '80 :