There are two classes of bug. One is where the program doesn’t match your mental model of the program. The other is when the problem doesn’t match your mental model of the problem. Most bugs are both.