finite loops