So we paid our tax liability for a particular year (tax lien paid off). I am refiling this particular year with an amended return. In the process we are owed a refund. Is there a particular place in the amended return that we enter the taxes previously paid or will the IRS figure out they owe this money back?