code: public static PaxDate of(int prolepticYear, int month, int dayOfMonth) {
          YEAR.checkValidValue(prolepticYear);
          PaxChronology.MONTH_OF_YEAR_RANGE.checkValidValue(month, MONTH_OF_YEAR);
          PaxChronology.DAY_OF_MONTH_RANGE.checkValidValue(dayOfMonth, DAY_OF_MONTH);
          if (month == MONTHS_IN_YEAR + 1 && !PaxChronology.INSTANCE.isLeapYear(prolepticYear)) {
              throw new DateTimeException("Invalid month 14 as " + prolepticYear + "is not a leap year");
          }
  
          if (dayOfMonth > DAYS_IN_WEEK && month == MONTHS_IN_YEAR && PaxChronology.INSTANCE.isLeapYear(prolepticYear)) {
              throw new DateTimeException("Invalid date during Pax as " + prolepticYear + " is a leap year");
          }
  
          return new PaxDate(prolepticYear, month, dayOfMonth);
      }
docs: Obtains a {@code PaxDate} representing a date in the Pax calendar
  system from the proleptic-year, month-of-year and day-of-month fields.
  <p>
  This returns a {@code PaxDate} with the specified fields.
  The day must be valid for the year and month, otherwise an exception will be thrown.
  
  @param prolepticYear  the Pax proleptic-year
  @param month  the Pax month-of-year, from 1 to 14
  @param dayOfMonth  the Pax day-of-month, from 1 to 28
  @return the date in Pax calendar system, not null
  @throws DateTimeException if the value of any field is out of range,
  or if the day-of-month is invalid for the month-year