(certify-book "util")
:u

(certify-book "boolean")
:u

(certify-book "state")
:u

(certify-book "run")
:u

(certify-book "expression")
:u

(certify-book "circuit")
:u

(certify-book "trajectory")
:u

(certify-book "assertion")
:u

(certify-book "lemma-4")
:u

(certify-book "fundamental")
:u

(certify-book "inference")
:u

(certify-book "example")
:u

:good-bye