Also, to add a further point: Because much programming is done by intuition rather than formalism is why there can be so much unintended use of a given program.