We develop a methodology to construct nonparametric counterfactual predictions, free of functional-form restrictions on preferences and technology, in neoclassical models of international trade. First, we establish the equivalence between such models and reduced exchange models in which...