the claim that non-finite clauses have a phonologically null pro subject is in part motivated by binding theory — in particular, the idea that an anaphor requires a local antecedent to be present. reflexive pronouns such as myself and oneself require a local antecedent. as shown in (4), pro can function as an antecedent for reflexives: in (4a) pro is the antecedent for the reflexive pronoun 'myself', and in (4b) pro functions as the antecedent for the impersonal reflexive oneself. if the null subject pro were not present in examples like (4a) and (4b), then non-finite clauses would contain anaphors that lacked a local antecedent, and incorrectly predicting that such sentences to be ungrammatical. the grammaticality of such sentences confirms that the reflexives have an antecedent, which by hypothesis is pro.