 But, because \(\Box(\sfL\sfp \to \sfL\sfp)\) depends essentially on E!A, its necessitation is not provable. And if one soldiers on in an attempt to replicate the reasoning in the above proof to derive necessitism: