(ld "defpkg.lisp")
(certify-book "powerset-examples" 1)