Equality requires the two universals to have the same instances.