New: ootdfa