 Zimmermann, however, actually derives only the weaker principle in  (41)  (under certain assumptions including his Authority principle). \(\Box \alpha\) should be read here as “it is certain that \(\alpha\)”: