Displaying similar documents to “Omitting types algebraically”