2The original definition does not include n0.