it has been argued that pro has case, which is checked by non-finite t. this is illustrated by the contrasting examples in (7), (8) and (9) below. the (a) examples show contexts where an overt dp subject is ungrammatical in the specifier position of the tp (tense phrase). the (b) examples shows that, in exactly the same contexts, a null pro subject is grammatical.