Situation: Dogs are bigger than ants