let
help =
"Simplify constant terms and predicates."