| is not a pipe.