The left operand
The right operand
The set of those integers which are in either this or right but not both (analogous to the bitwise operation left ^ right), to be freed with destroy by the caller
right