Therefore P5's claim that S is 'necessarily possible across all worlds' assumes a robust realist mod...