(ld "defpkg.lisp")
(certify-book "set-theory" 1)