SMS: Logic and introduction /