發送短信: A principled approach to state failure