Email Record: Elements of Finite Model Theory /