NFA: