the subject of the non-finite t must satisfy the case checked by t, and this case cannot be satisfied by a pronounced (i.e., overt) dp, it is argued that these non-finite t's (and -ing clausal gerunds), check for a special null case (assigned in english by infinitival "to"), and that the only dp compatible with such a case is pro.