Did you know that the extinct ant Anochetus corayi was the first Anochetus species described from a fossil?