SMS: Philosophical logic: