From the point of meta mathematics and a technology I will develop for my own language, of course the 'walrus' operator would not exist at this level of abstraction but will be promoted to a different one. So, it is kinda silly. Actually, people tend to remove their leaders because they think they know better and this is because they don't have the vision of the leader. To everyone, it seems obvious that some 'decision' appears correct, but turns out it deviates from the much much more deep and long term goals that the leader has. To me, it is a text compiler language so it doesn't really matter at all too much either way in my determination. However, if everyone is missing something that Guido understands, they should be patient and willing to believe and understand him as much as they can. What he is thinking is likely to be correct and abstract with the possibility that it is not.