Finite Vs Definite