Property transaction taxes-also known as stamp duty-are widely viewed as an inefficient form of taxation. In this paper, we examine the welfare implications of removing stamp duty in a general equilibrium overlapping generation model with heterogeneous agents. Our model features an idiosyncratic...