Rename + to | and add comment about laziness