finite re