SMS: Philosophical logic/