unfold relative subtraction