Não, é NFA, é uma hipótese sobre ETH