Addition can be symmetric to Subtraction, if we think of the augend as
being applied to addend
Extracts common IfZeroReturnSomethingOrExecute for Addition and
Subtration pattern