The Uniqueness Case for Finite Groups