On Tue, Jul 3, 2018 at 4:36 PM John Cowan <xxxxxx@ccil.org> wrote:

Please roll this change back.  As I explained to Shiro (but accidentally made a private reply), the remark is relevant to the three predicates <, =, > only, and should be placed below the introductory paragraph.

 

​Okay.  But it's not going to be clear if we just move it there.  We should specify exactly which predicates do not obey the trichotomy law.  I as​sume that you mean mapping=?, mapping<?, and mapping>?, but not mapping<=? and mapping>=?.

How about adding this paragraph below the introductory paragraph?:

None of these five predicates produces a total order on mappings.  In particular, mapping=?, mapping<?, and mapping>? do not obey the trichotomy law.

I

​

s that reasonable?​