Text this: Logic Colloquium '77 :