@NonNull
  public static Term subtract(@NonNull Term left, @NonNull Term right) {
    return new BinaryArithmeticTerm(ArithmeticOperator.DIFFERENCE, left, right);
  }
@ NonNull public static Term subtract ( @ NonNull Term left , @ NonNull Term right ) { return new BinaryArithmeticTerm ( ArithmeticOperator . DIFFERENCE , left , right ) ; }
The difference of two terms, as in {@code WHERE k = left - right}.