Subtraction As Adding The Opposite Rewrite