Users that searched for alternative minimum tax and found www.cbo.gov