+* generalized quantifiers are a special case of operating on continuations
+
+* (Chris: fill in other applications...)
+
+* expressives -- at the end of the seminar we gave a demonstration of modeling [[damn]] using continuations...see the [summary](/damn) for more explanation and elaboration