SMS: An introduction to reasoning /