let
help =
"displays computed pre and post-condition of each operation"