Added an explanation of some xor properties