The classical gains-from-trade conjecture was finally given a thorough Arrow-Debreu proof in 1972. Since then, the proposition has been repeatedly challenged. Some of the challenges rest on grounds which in no respect violate Arrow-Debreu assumptions. Those challenges are therefore without...