Email Record: Model theory and applications.