It’s truly delightful to read. I’ve never read an explanation of real numbers construction as easy to follow as this one.