We explore the distortions in business cycle models arising from inefficiencies in price setting and in the search process matching firms to unemployed workers, and the implications of these distortions for monetary policy. To this end, we characterize the tax instruments that would implement...