SMS dit: Philosophical logic/