Yeah, but in this case Annoyance is right. You need to find two extensional mammals such that their last common ancestor is the LCA of everything you want to call a mammal, then the definition is complete. As it stands it's like a factorial without the base case.

In what way does your comment differ from Dan Armak's original comment? how is Annoyance right in this case?