SMS: Mathematics and logic