The IRS is a model of efficiency