Sum of Digits Definitions Without Haste