Suppose there are more things in the programming universe than are strictly represented in (say, R5RS) Scheme. Because Scheme has things like continuations and syntax-transformations, we can put them into the language.