uniqueness on stackset is verified