Infinite And Finite Model