Pure arrangement. It carries no value — it decides which law applies at which pole of the line.
A pure function. One input, one output, no hidden state — it only answers when the field asks.