Comment by cloogshicer

Lamport argues that we should separate the "What?" from the "How?". I wonder though, for most problems, doesn't the "What" and the "How" of a program somewhat merge?

For example, are performance considerations part of the "What", or of the "How"?