SMS: Practical reasoning /