[math-fun] K-T Meteorite did kill the dinosaurs, fossil shows