Thanks for the recommendation. I downloaded both social.pdf and noproof.pdf on my Kindle Scribe to read them carefully and revisited the discussions on EWD638 and EWD692.

It is very interesting to see how Sir Tony diverged from EDW: one is right in theoretical sense but cynical about human fallacies and how the society is heading towards more wasteful complexity, one is to live with it and stay optimistic.

There is a proverb in Chinese Taoism:

小隱隱於野，大隱隱於市

A small recluse hides in the wild, while a great recluse hides in the city