Tidak, NFA-nya itu adalah hipotesis ETH