No, es NFA, es una hipótesis de ETH