Displaying similar documents to “Does 2 X exist for a proper class X?”