Heterogeneous Firms and Trade: Testable and Untestable Properties of the Melitz Model · Study