There was a fairly intricate debate on an early version of this posted to bluesky, the contention being over whether OR was sufficient. I think the ORs have it, but XOR is a funnier word, so there.