EXIST I FINITE
73 following