Who said dinosaurs were extinct?