Claim: Gymnopilus tuxtlensis is an extinct species of tree.
Evidence: Gymnopilus tuxtlensis is a species of mushroom in the family Cortinariaceae.