NFA added.