The entire problem is that what the programmer wants to do and what the program actually does isn't always clear to the programmer.