 Likewise its rule of necessitation; because some logical truths are not n-statable and, hence, not true in every world—notably, singular logical truths like Prior, if a logician, is a logician, \(\sfL\sfp \to \sfL\sfp\)—we can only infer that an arbitrary logical truth is weakly necessary, false in no world: