SMS: Mathematical logic