On Sun, 15 Mar 2009, Benjamin Caplan wrote: > Warrigal wrote: >> The negation of SHALL is NEED NOT, not SHALL NOT. Not that NEED NOT is >> actually defined by MMI. > > I suspect we need it rarely enough that we can get away with "So-and-so > MAY choose whether or not to foo." >
NEED NOT is the Agoran default state for every possible action. I think it's current enshrinement is R101(i), if you assume that a SHALL is equivalent to a prohibition from not doing something. -Goethe
