Ants are always turned into "mushrooms" by spores, and ant colonies are directly destroyed when they