[rramadass]

I know you mean well but i am somewhat with biggestbrain1 on this.

The comment just comes off as mere posturing (eg. "I know because I have the same type of brain") and if you actually think about what is written down all i see is empty verbiage and something which could have been said simpler and more directly (for example there is no need to bring in "Markov Processes" here).

Dijkstra's (and Floyd/Hoare's) programming techniques are hard enough to learn that such comments merely obfuscate the essential ideas and pushes people away from trying to study it because it "appears too hard". Things should be made as simple as possible to motivate people to study and learn.

[HPMOR]

These commentaries have such nuance and focus it reads like a work of art. I appreciate the many people who contributed to this thread. A true critical reading of each person's comments. It's absolutely beautiful.