For a quartic primitive CM field K, we say that a rational prime p is evil if at least one of the abelian varieties with CM by K reduces modulo a prime ideal p|p to a product of supersingular elliptic curves with the product polarization. We call such primes evil primes for K. In [GL], we showed that for fixed K, such primes are bounded by a quantity related to the discriminant of the field K. ...