It follows that coreferential descriptions are not interchangeable salva veritate in modal contexts: 'It is necessary that the smallest prime is even' is true while 'It is necessary that Jones's favorite number is even' is false.