Assume NFA