Added NFA