I have to go off now and guest lecture in CS 507 and I find myself very nervous about this. I haven't spoken theory in a few years. The last time I taught 507 was 1993 (I think). Good thing that theory doesn't change much.