let
help =
"select the threats of functions f1,...,fn"