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