Added comment about meaning of arrows.