[cap-talk] EQ needed?

[Charles Landau]

At 12:35 PM -0800 11/16/04, Stiegler, Marc D wrote:
>Just for the record, it is worth noting again (this has been discussed
>on the list before) that the EQ operation is less important than it may
>appear. Dean Tribble has a long and notorious history for confounding
>the rest of us by figuring out alternative solutions for all the
>problems for which we think EQ is obviously required.

But surely even Dean would admit that some form of rights 
amplification is needed, no? If you think about it, all the issues we 
see with EQ also arise with rights amplification operations. They all 
basically take two capabilities and return a third capability. If the 
two input capabilities aren't correct (in the sense of EQ), the 
operation must fail, and vice versa.