not x := 1