The binding theory caracterizes two domains as opaque in the sense that an anaphor cannot be free in these domains and a pronoun is disjoint in reference from an "antecedent" within them. These two notions of "freedom" are generalized in the OB-framework in terms of the notion "free("i")". - Chomsky (1993), a pag.153