OK Cruz! Abolish the IRS, now what will collect the taxes?