²The original definition does not include $n_0$.