validated subtraction logic