Chapter 06 - 04 Iterators confusing text

In the `for` desugaring paragraph (https://rust-exercises.com/100-exercises/06_ticket_management/04_iterators#for-desugaring) it says that `for` get desugared into a `loop` but then it says that *loop is another looping construct, on top of for and while.*. Since `for` is based on `loop` using *on top* looks confusing.