Board Thread:Manual of Style/@comment-26923065-20151030003833/@comment-11733558-20171018184326

I may be late, but here are my findings....

I did some resarch and found out that "Labyrinthodontia" was in the Dino Days of Europe event, meaning that this particular species is from Europe. I noticed that there was a Euroepan genus of labyrinthodont called Cyclotosaurus. What's amazing is that Cyclotosaurus was once called "Labyrinthodon"! Maybe the "Labyrinthodontia" was actually a Cyclotosaurus.