And I define:

0 + 1 = 1 Def.

0 + 1 + 1 = 2 Def.

530