 As noted above, for Prior, the prospect of logical truths that are not necessarily statable renders the general principle of necessitation unsound. Rather, strong necessity only follows for those logical truths that are n-statable; this is usefully expressed as a derived rule of  inference:[79]