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