I am indebted to Vladimir Lifschitz, Leora Morgenstern and Carolyn Talcott for useful suggestions.
Support for this work was provided by the Information Science and Technology Office of the Defense Advanced Research Projects Agency.
