SMS dit: Ein formales Argument gegen vorausschauendes Entscheiden