Sorry this is an aside: but why’re we still doing this? It stopped being funny a long long time ago, doesn’t contain any information in regards to OP’s question, and we all know in real life people mean XOR when they say OR. so I’m just curious: did you recently find out about this and still find it amusing? What is it adding to the discussion? Nothing personal / maybe I’m just getting too old :)