  It has been shown that \(\mathbf{S5}\) is sound and complete for 5-validity (hence our use of the symbol ‘5’). The 5-valid arguments are exactly the arguments provable in \(\mathbf{S5}\). This result suggests that \(\mathbf{S5}\) is the correct way to formulate a logic of necessity.