The cranial musculature and the origin of the frill in the Ceratopsian dinosaurs