The development of these ideas has benefitted from discussions with Saša Buvac, Tom Costello, Mike Genesereth, Fausto Giunchiglia and R. V. Guha. Guha wrote his thesis [Guha, 1991] while this article was going through many versions as the ideas developed, and the mutual influences cannot be specified.