Will the IRS be abolished?