On the Soundness of S5. (2025). The Reasoner, 20(1). https://doi.org/10.54103/1757-0522/29438