Yep, dinosaurs are extinct.