Matching rewriting subtraction as addition