 Finally, positing an NP-deletion theory provides an elegant solution to the problem of the formal link, which is that any good account of anaphora has to explain why (45a) is felicitous but (46b) is not: