E mondat összetettebb változatát hozza létre A szokásos választás az, hogy az "I" végtelen legyen, és az "U" tartalmazza az "I" minden véges alcsoportját.
Természetesen a mondat egy bonyolultabb változata: "A szokásos választás az, hogy az 'I' végtelen legyen, és az 'U' tartalmazzon az 'I' minden cofinit alcsoportját, különben az ultrafilter fő, és az ultratermék az egyik tényezővel izomorf".