Pošljite SMS: A principled approach to state failure