The resulting formalism is too enfeebled to support the objects and methods of twentieth century mainstream mathematics, and the great irony of Macfarlane's criticism becomes this: the failure of Universal Algebra lies not in relentless,
arbitrary abstraction and formalization but in the
narrowness of its extensive base.