cmicfu lujvo

x1 is a set with many members; x1 is a set with a great cardinality.