How Many Different Minions Are There