 But it is no easy matter to give ‘distinct from’ a meaning that makes Premises 3 and 4 simultaneously plausible. If it means ‘shares no parts or constituents with’, then Premise 4 avoids the counterexample given above, but Premise 3 ceases to be plausible, since s1 and s2 do plausibly share a constituent, namely r. If ‘s is distinct from s*’ is defined as ‘(i) possibly, s obtains and s* does not, (ii) possibly, s does not obtain and s does, (iii) possibly, neither s nor s* obtains, and (iv) possibly, both s and s* obtain’, then Premise 4 is trivially true, but Premise 3 begs the question.