The problem is what do you do when you change the code? System state is different; how do you know it is correct? Also, un-tenable with any code that is non-de

The problem is what do you do when you change the code? System state is different; how do you know it is correct? Also, un-tenable with any code that is non-deterministic, like multiple threads or external I/O.