Simplified the XOR proof using Clifton's suggestion.