That's why I've said "where possible" or similar in previous messages. lastX can't be replaced, but Sun>=8 24:00 could be replaced by Mon>=9 0:00.

On Tue, Apr 4, 2023, 19:36 Bradley White <bww@acm.org> wrote:

On Tue, Apr 4, 2023 at 5:27 PM Jacob Pratt via tz <tz@iana.org> wrote:
But is there actually a difference between 24:00 and 0:00 of the next day? I wouldn't think so, hence my asking.

Sure, but how would you translate, say, "lastSat 24:00" to something using "0:00 of the next day"?