[cap-talk] Retroactive Corroboration for the EQ-less Horton Protocol

[Jonathan S. Shapiro]

> > On Thu, Feb 21, 2008 at 2:11 AM, Toby Murray
> > <toby.murray at comlab.ox.ac.uk> wrote:
> 
> 
> >         As soon as you introduce a hashtable, you've effectively
> >         introduced EQ.
> >         (Assuming the hashtable maps capabilities that would normally
> >         be
> >         considered EQ to the same value).

So what you are saying is: "if the hashtable uses EQ, then it implements
EQ". But it is not a foregone conclusion that the hashtable
implementation should use EQ.

shap