Figure 14: Illustration of the Theorem.
M(A)={A,B,C}. A both c-commands and cu-commands itself and B and
C. The actual integer values i, j, k, . . . are arbitrary and thus the result holds in
general.
5.6 A New Definition of Government
This allows a new definition of government. A governs B iff:
i) A is a governor.
ii) both AεM(B) and BεM(A) (in words A is a member of M(B) and vice
versa). This definition of government is the same as the previous definition
of government, but with the c-command requirement replaced by an ultra-
metric requirement that distances be minimal.
6 Conclusion
The definition of government in §5.6 might at sometime in the future allow the
five points in §1.3 to be addressed.
17