On 2013-07-31, Ørjan Johansen wrote: > It does not say it has to fall into any category, it says that for > each category it _does_ fall into, the corresponding requirement > must hold. If it doesn't fall into any, then there is no > requirement needed.
Ack, thanks. For some reason the "and" befuddled me into misinterpreting the "ifs". -- Michael Slone
