Subtraction with renaming