the following tree diagrams show how pro, as the subject of the copular clause, enters into agreement with the nominal predicate introduced by the copular verb "become". the application of agreement is automatically explained if pro is co-indexed with the subject of the main clause, with the predicate nominal simply agreeing with the number features of the argument that controls pro, just as it would be if an overt subject had been introduced.