Method lookup search

[Dave Ungar]

This is great! Yes, you do understand what we are thinking of,
which we call "unordered up to joins."
Our idea is to get rid of priorities while enforcing the
ordering constraint you propose in your mail.

It would be interesting to see if this is workable.

We want to get rid of priorities cause they do horrid things
to resends.

Also, this was inspired by a dissertation Craig read
which used the term "inferential distance."
Maybe he can supply the reference?

Dave