let
help =
"Pretty-prints proof obligations on standard output."