Another type of definite description, ixfx, a 'rigid' definite description, could be introduced semantically by the following stipulation: let ixfx denote, with respect to all possible worlds, the unique object that