A computer program does what you tell it to do, not what you want it to do.
It is one thing to show a man that he is in an error, and another to put him in possession of truth.