Documents related to 'loop-avoidance'