Text this: Logic colloquium '73 :