[dfa.gif]