Text this: Logic Colloquium '92 /