發送短信 : Ein formales Argument gegen vorausschauendes Entscheiden