But if this guy's elements are less than this guy's elements, but it's also greater than or equal to, we know that the number of elements that X has-- X's elements, or the cardinality or the number of elements in it --is equal to