In the article just before that code:

The loop is of paticular interest to us. Abridged: