radford justifies moving pro to spec-tp on the basis of the binding properties of certain sentences. for example, in (16), moving pro to spec-tp is necessary for it to c-command themselves, which in turn is necessary to satisfy the binding principles and have pro be coreferenced with themselves.