Comment by Lockal

The case "God should get a promotion" if I understand correctly, is soundness (as in Rust) issue, with equivalent in C: `int increment(int x) { x + 1; }` - sound, not valid.

The case with legal documents is equivalent in C sequence points for comma operator with something like `print(i++, i++)`. Imagine Boeing documentation with text "In case of blinking indicator press button A and stop immediately". Button "A and stop"? Button "stop" after button A? Authors can hope that a sane human can resolve this ambiguity, but if it is done by compiler/interpreter/robot, it can have an avalanche effect.