We use a New Keynesian DSGE model with search frictions on the housing market to evaluate how financing a labor tax reduction by higher property taxation affects the real economy and welfare. Search on the housing market enables us to explicitly model stocks and flows, which is necessary to...