@GeorgeChen To some extent it is true. However, I think that he does this because the intended audience of the book is beginners in proof-based mathematics (probably someone who has never encountered such proof-based course, e.g., algebra before) and so he sacrifices the logical ordering of the material to pedagogy.