It happens before the main loop body but it doesn't happen before the first loop, and it happens after the increment, so I frankly read it initially with skepti

It happens before the main loop body but it doesn't happen before the first loop, and it happens after the increment, so I frankly read it initially with skeptical eyes but then felt like it was more intuitive than it was being made out to be? (And FWIW, I am someone who has used for-else on occasion, yet have never found it intuitive.)