[082349872349872]

I'm not sure if they were going off a taste-based or a diet-based taxonomy on [1].

As to [2], back when the austrian alps were underwater, they were home to the today little-known (apart from the occasional frightful skeleton) Krampus Whale.

https://en.wikipedia.org/wiki/Piemont-Liguria_Ocean

[4] Makes a fair taxonomic proposal, however. Could you provide a machine-readable (to make sure it can't be beat) supporting argument, suitable for import into a formal proof management system?

[isanybodythere]

The Krampus Whale appears to be a homophone chimera of the Grampus [1] in Melville's Moby Dick and the Krampus of Central European folklore [2].

Parent's final request is a clear reference to Coq [3]. I yield, mumbling something about lions and claws.

[1] https://en.m.wiktionary.org/wiki/grampus

[2] https://en.m.wikipedia.org/wiki/Krampus#Origins

[3] https://coq.inria.fr/

[082349872349872]

Pleasure chatting with you — this is my stop: Mornington Crescent[1]. Until next time!

Why is Xmas like a lion on the beach?[2]

The Gnat and the Lion and the Hares and the Lion both involve claws. I prefer paws, a genre which has produced Androcles, the Lion and the Mouse, the Elephants and the Mice, and even apparently (I can't find it, but my hanzi search-fu is weak) the Tiger and the Mouse.

On the hares and lion, a Swahili argument against Sith morality: "Ndovu wawili wakipigana, ziumiazo na nyasi."[3]

[1] https://en.wikipedia.org/wiki/Mornington_Crescent_(game)

[2] They both have sandy claws.

[3] Some wag has added: even if the elephants are making love instead of fighting, the grass still gets trampled.