rEWRITE ADDITION AS sUBTRACTION