Why dinosaurs died out remains a puzzle.