It seems someone in this thread clings to the abominable practice of excluding 0 from the natural numbers…