This is very well-written. I often struggle with formal explanations of complex and abstract ideas, but the author is getting this across very well. Good stuff.