Did you know that Proceratium petrosum is one of two ant species in the genus Proceratium described from fossil males?