We define the empirical content of an economic theory as the least restrictive observationally equivalent theory. We show that the empirical content of a theory is captured by a certain kind of axiomatization, with axioms that are universal negations of conjunctions of atomic formulae.

Firms and workers may sign complex contracts that govern many aspects of their interactions. I show that when firms regard contracts as substitutes, bargaining over contracts can be understood as bargaining only over wages. Substitutes is the assumption commonly used to guarantee the existence...