A quotation from the full collection:

The question of software correctness ultimately boils down to, “Does it do what we have in our minds, even the things we have not gotten around to thinking about yet?”

—Alistair Cockburn