Category:Symmetric Difference is Associative