When I'm struggling with a hard problem, I often find myself subvocalizing the logic. It's surprising how often thinking "And therefore.." results in shaking free an elusive conclusion.
But not always. Today, as I tried to figure out some Win32 IPC problem, I found myself thinking the following thought: "And if that works, then undoubtedly that works." Big help.