Thanks to you and wnoise (https://news.ycombinator.com/item?id=12893051 https://news.ycombinator.com/item?id=12893051) for excellent informal explanations that

Thanks to you and wnoise (https://news.ycombinator.com/item?id=12893051 https://news.ycombinator.com/item?id=12893051) for excellent informal explanations that nicely complement openasocket's (https://news.ycombinator.com/item?id=12893077 https://news.ycombinator.com/item?id=12893077) formal one. I love instances where intuition needs to be corrected by rigorous reasoning.