let
help =
"display the list of pending properties for partial proofs"