SSA form makes data flow easier to understand. This is not just an advantage for the compiler, but can also be an advantage for the programmer. One style of using local variables in Forth is to program in single-assignment style. Based on these experiences, we also designed an experimental programming language with a more conventional syntax that enforces static single assignments, and collected some experience with it. One consequence of this approach is a new scoping regime based on domination; in many cases domination-based scoping is mostly equvalent to classical block-based scoping, but there are also cases where there is a difference.