Equational logic