Software is not the bits in the machine, it's the language of expression. "let z = 1" is software. It has a lot of implications at the bit level, yes, but that's well handled by compilers. But just at the level of expression, it's very complicated.