and being pressed into contact with the pipe by a tool which moves inside along the pipe