domains of research, especially in algebra. The recognition of the coherence of