Situation: Ants are insects.