On Mon, Apr 26, 2010 at 4:15 PM, Alex Smith <ais...@bham.ac.uk> wrote: > Arguments: The power-3 rule 2141, by insisting that rules are strictly > ordered, implies that it's possible to have a meaningful > less-than/greater-than comparison between them.
Gratuitous: It's meant to use the definition in Rule 2161 which, although Power-1 and inconsistent with the standard meaning of "strictly ordered", is the only one that makes sense in context.