No, es NFA es una hipótesis ETH