 Under the stipulations that admissible models make all individual constants rigid designators and that \(\bI(P,w) \subseteq \bD_o^n\), the standard free logic PFL, together with the modal axioms and rules appropriate to whatever structure we assign to \(\bR\), is sound and complete on this semantics.