Text this: Logic Colloquium 2007