FORMAL LOOP ADJ BELT