Displaying similar documents to “A completeness theorem”