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