Subtraction with renaming

Subtraction with renaming