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