082349872349872 2 years ago

does anyone know if the "ℕ is a total order" level from the old NNG will be ported to this version?