Yeah that's a great example. I think sometimes people take "code is law" too seriously, when it is clear to me the code is just a deterministic way to form a consensus that works 99% of the time and the other 1% you get forking.