however, this set of features poses a problem for binding theory, as it imposes contradictory constraints on the distribution of pro. this is because an anaphor must be bound in its governing category, but a pronominal must be free in its governing category: