dfa
Revert "dfa"

This reverts commit 587e101f1e7bcef4891322740ef02800013a892a.