On the Soundness of S5. The Reasoner, v. 20, n. 1, 17 Nov.2025.