within government and binding theory, the existence and distribution of pro followed from the pro theorem, which states that pro may not be governed. more recent analyses have abandoned the pro theorem. instead, pro is taken to be in complementary distribution with overt subjects because it is the only item that is able to carry "null case" which is checked for by non-finite tense markers (t), for example the english "to" in control infinitives.