Hot: happy-uniqueness