Email Record: Toward a formal science of economics :