The Necessity of Distinctness (P5) presupposes rigid designation across worlds, but 'O' and 'S' may ...