Text this: On the mathematical synthesis of equational logics