Missing Loop Refinement

[Hub]

---

This is a companion discussion topic for the original entry at https://kni.me/w/e_m5Y-tN-fyoauxu