SMS: The Tarskian turn