Comment by theshrike79

You know what else is nondeterministic? "Project Management"

You tell humans to make code, they make code.

How do you check it's correct and does what it should?