I have had useful discussions
with Matthew Ginsberg, Benjamin Grosof, Vladimir Lifschitz and Leslie
Pack
. The work was partially supported
by NSF and by DARPA. I also thank Jussi Ketonen for developing EKL
and helping me with its use. In particular he greatly shortened the
unique names proof.