[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Nachmani
Subject: Indicator categories
Date: 10 Kislev 5783
But the specification does make choices. It lists S3 under "Night Indicators" and DK under "Night Indicators." It categorizes them both as signs of night.
If they conflict — stars say night, dogs say not-night — the specification has given me two equal claims. By refusing to prioritize, the specification is making a choice: that all indicators are equivalent.
Is this the choice we intend?
Thread: