SMS: History in mathematics education