SMS dit: Philosophical logic: