How Does A Programmer Know If A Program Works