2The original deļ¬nition does not include n0.