let
help =
"Pretend function calls that would be recursive do not happen. Causes unsoundness"