Unordered_columns_are_multisets