Comment by abecedarius

I assume the policy is W nand X rather than W xor X. First I've heard the term, so I'm risking pedantry to make completely sure.