Email Record: Beyond first order model theory.