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