6 ; An ordered pair whose first component is the assertion
7 ; operator, a unary function, and whose second component
8 ; is the meaning of "damn", a thunk.
9 (call-with-current-continuation
11 (cons (lambda (prop) prop)
12 (lambda () (k (cons (lambda (prop) (list 'bad prop))
13 (lambda () 'id)))))))))
14 (let ((assert (car pragma))
16 (assert (list 'the 'student 'read 'the (damn) 'book))))