Did you know that species of the extinct ant genus Cyrtopone are noted for having small heads?