te2_.[[Day]]) > 0, return *true*.
        1. Return *false*.
      </emu-alg>
    </emu-clause>

    <emu-clause id="sec-temporal-regulateisodate" type="abstract operation">
      <h1>
        RegulateISODate (
          _year_: an integer,
          _month_: an integer,
          _day_: an integer,
          _overflow_: ~constrain~ or ~reject~,
        ): either a normal completion containing an ISO Date Record or a throw completion
      </h1>
      <dl class="header">
        <dt>description</dt>
       