NFAs added.