Email Record: Finite model theory /