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