Sure, ferrets are snake(cat), but this is missing the rest of the story:
cat = snake(fox)
fox = snake(dog)
dog = snake(bear)
And in the other direction,
…
…well, wolverines are snake(wolf), badgers are snake(wolverine), skunks are snake(badger), and minks are snake(skunk), so. But. snake(ferret) is not defined.
