I changed the semantics deliberately. Previously (A, B) and (A, B, C) would have been considered equivalent, which seems wrong no?