 Minimality  For each perfectly natural \(n\)-ary property \(R\), there are possible worlds \(w\) and \(w'\), objects \(x_1,\ldots,x_n\) existing at \(w\), and a bijection \(f\) from objects existing at \(w\) to objects existing at \(w'\) such that \(R(x_1,\ldots,x_n)\) at \(w\), not \(R(f(x_1),\ldots,f(x_n))\) at \(w'\), and for every perfectly natural \(m\)-ary property \(S\) distinct from \(R\) and objects \(y_1,\ldots,y_m\) existing at \(w\), \(S(y_1,\ldots,y_m)\) at \(w\) if and only if \(S(f(y_1),\ldots,f(y_m))\) at \(w'\).