Somewhere a science teacher is weeping

[james_davis_nicoll]

But dinosaurs DIDN'T die out... well not all of them, at least. These days we just happen to call them alligators, crocodiles, scorpions, octopi, coelacanths, and quite a few other names for animals that were alive not only while dinosaurs lived, but also existed long before them.