simplifies the propagator of BinarySum