In this paper we examine the causal relationship between formal social insurance and individuals' migration decisions. We exploit a quasi experimental design in rural China, under which county officials were assigned to a group of villages (i.e., treated villages) to serve as village supervisors...