No, è NFA, è un'ipotesi su ETH