OpenAlex
No iterated identities satisfied by all finite groups
Work