DFA tools and guideline (b)