let
help =
"Split conjunctions into sub-goals."