Sort:  

Okay good. And yeah, there doesn't seem to be a clear explanation of finite model theory anywhere.