>On top of that, there was a math proof that was done several years ago 
>that showed that the remote locking semantics could not actually work
>right (which might explain why sun has released about fifty million
>patched versions of lockd over the years).

You know, I've heard this before, but I could never track this down.
Does anyone have a reference for this?  (Not that I'm calling anyone
a liar, but it would be nice to be able to refer to this proof).

--Ken