Xor() array reduction method

In reply to Fipser@VA:

Correct.