The dinosaurs are extinct.