x := a + b y := x + c v := b + c w := a + v z := x + v