[muir_redwoods]

alligators are not dinosaurs. The leg joints are different in crocodilians which, by the way, pre-date dinosaurs.

[grey_whiskers]

I used to know that stuff back in 7th grade or so.

But sadly, with the shifting of the tectonic plates in my mind, it has been obscured.

However, the real reason for my comment (since by your reply, you missed the point, and forced me to be explicit) was this:

(Remember the "IBTHTP" part? I wasn't kidding.)

Cheers!