more accurate jk2 dfa ;d