SMS: Mathematical knowledge