Added an explanation of some xor properties

This should help for #71