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.

On Tue, Jul 3, 2018 at 5:51 PM, Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:

On Tue, Jul 3, 2018 at 12:54 AM Shiro Kawai <xxxxxx@gmail.com> wrote:
Under "submappings" section it says:

Note: The following three predicates ...

But there are five predicates.

Thank you very much. I've fixed the mistake and added a note to that effect to the Status section.

To unsubscribe from this list please go to http://www.simplelists.com/confirm.php?u=rBAxDxCgJFjJUssha9ixdMZU57qO20An