Envoyer par SMS: Ein formales Argument gegen vorausschauendes Entscheiden