It is not the case that Therefore P5's claim that S is 'necessarily possible across all worlds' assumes a robust realist modal ontology that is itself contested and cannot be presupposed.
?Set your confidence on the premises below to see your aggregate.