The principle that propositions can only be true in worlds where they exist (P1) holds for inner tru...