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