Finite Model Property
Figure 3: Finite Model Property
Finite Model Property