[isanybodythere]

I believe that the parent is referring to the translation of a term formerly used among the Maori and Polynesian peoples for human flesh as food [1]; their reasoning being that pigs resemble humans, since they taste alike.

This taste-based taxonomy is reminiscent of Ishmael's taxonomy of whales in Melville's Moby Dick [2].

It is known, and can indeed be readily proved by inspection, that everything tastes like chicken [3]. I thus propose a taste-based taxonomy of edible organisms, aiming at restoring the former prominent role of Gallus gallus [4].

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

[2] https://en.m.wikipedia.org/wiki/Cetology_of_Moby-Dick

[3] https://en.m.wikipedia.org/wiki/Tastes_like_chicken

[4] https://en.m.wikipedia.org/wiki/Gallic_rooster

[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/