Indeed! I've got a blog post on deck that likens it to a fish in water; we all use it so thoroughly nowadays we don't even notice it because an unstructured programming language is almost inconceivable to us.

Ah, yes, I had forgotten structured programming. Yes, it won and goto lost, and the world is better for it.

What I was referring to, though, was what I think was Dijkstra's main idea: That programming should be done by a particular approach (the "postulational method") that allows/requires mathematical reasoning about code, and that code should be mathematically proven to be correct. That idea is used very little.