0-1 is 0, Atoms are natural numbers.