SMS: Abductive reasoning /