A Formal Theory of Firm Boundaries: A Trade