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