let help = "if set, does not axiomatize automata"