This paper incorporates quasi-hyperbolic discounting into a Mirrlees taxation model to study the design of retirement policies for present-biased agents. I show that the government can improve the screening of productivity by exploiting time inconsistency. This is done by providing commitment to...