New: basic-subtraction