But most intriguingly it applies that subtraction and division don’t have the properties you mention which is a symmetric “anti” feature of these operators and seemingly can be reduced to the primitive function of addition or subtraction as multiplication and division are just meta operators acting as a loop.

At least this is how I’m viewing it.

There’s an intuitive sense that symmetry breaks when you take away (reduce) compared to add which is in parts of a whole.

And then to realize you can use addition to implement subtraction is where my brain starts to melt even though it’s relatively straight forward. Everything is just addition, the holy monad, the primordial dimensionless unit.

It also still reaches an intuition on what dividing by zero means, and it is not that it equals zero, but that the amount of cycles to do are 0. As in index is still 0 in the array.