Text this: Pheidole praehistorica sp. nov., a new addition to spiny ants of the genus Pheidole Westwood, 1839 (Formicidae, Myrmicinae) from Oligo–Miocene Mexican amber