He observes, quite rightly on these assumptions, that any examples which, like and failure of substitutivity of identity in modal contexts, must exploit some descriptions rather th a ust proper names.