How to encode the modulo-two sum of binary sources (Corresp.) | Synapse