Is an ant larger than a lion?