Equational completion by proof transformation | lit.salon