The Cost of Mixing Reinsurance [Discussion]