the pipe be drained