How to cut a pipe