On the topic of adding and subtracting being different entities, in the mathematical sense they are essentially the same, but afaik they have to be treated differently when you're using logic on that low of a level.