. . . "How to test whether x is a member of a universal set?" .