Title: Equational completion by proof transformation