3.2.4. Loopification

TODO