<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>My holidays.rem which I snarfed from somewhere semi-official
      long, long ago has this in it:</p>
    <pre>SET  Week_1              1
...
FSET _back(days)        TRIGGER(TODAY()-days)
FSET _trig()            TRIGGER(TRIGDATE())
...
REM  Mon Sep [Week_1]   SCANFROM [_back(7)] SATISFY 1
                        OMIT [_trig()] MSG %"Labor Day%"%
</pre>
    <p>This simpler version seems to calculate Labor Day on exactly the
      same dates:</p>
    <pre>SET  Week_1              1
...
FSET _back(days)        TRIGGER(TODAY()-days)
...
REM  Mon Sep [Week_1]   SCANFROM [_back(7)] MSG %"Labor Day%"%
</pre>
    <p>So does this even simpler version:</p>
    <pre>REM  Mon Sep 1 MSG %"Labor Day%"%
</pre>
    <p>I'm trying to understand what all the extra baggage (<font
        face="monospace">SCANFROM</font>, <font face="monospace">SATISFY
        1</font>, <font face="monospace">OMIT [_trig()]</font>) is
      there fore.</p>
    <p>Why do I care? Because, separately, I have something in my own
      reminders to show me candle-lighting time for the first night of
      Rosh Hashanah:</p>
    <pre>SET Shabbat_Lead 18
FSET hd(d,m) HEBDATE(d,m)
FSET yomtovlight(d,m) IIF((WKDAYNUM(hd(d,m)-1) == 6) || \
                          ((WKDAYNUM(hd(d,m)-1) != 5) && \
                           (d==2 || d==16 || d==23 || (d==22 && m=="Nisan") || \
                            d==7)), \
                          TRIGGER(hd(d,m)-1,sunset(hd(d,m)-1)+42), \
                          TRIGGER(hd(d,m)-1,sunset(hd(d,m)-1)-Shabbat_Lead))
REM [yomtovlight(1, "Tishrey")] OMIT Fri Sat SKIP MSG %"Candles%" %2%
</pre>
    <p>It malfunctioned this year and didn't put the candle-lighting
      time on my calendar, I think because Erev Rosh Hashanah was Labor
      Day and therefore the <font face="monospace">SKIP</font> my rule
      caused the reminder to be omitted because of the <font
        face="monospace">OMIT [_trig()]</font> in the Labor Day rule.
      That's just a guess, though; honestly I don't fully understand all
      this stuff hangs together.</p>
    <p>Thanks,</p>
    <p>jik</p>
    <p><br>
    </p>
  </body>
</html>