Nein, es ist NFA, es ist eine ETH-Hypothese