there is an assumption here that I want to challenge: that code can be correct. Code is _always_ a flawed approximation of an ideal system. You can move bugs a

there is an assumption here that I want to challenge: that code can be correct. Code is _always_ a flawed approximation of an ideal system. You can move bugs around, but you cannot get rid of them: software _is_ bugs.