Finite model property
 
x
OK