After you file

Thank you for the information.  Since my post I have learned that the IRS has it wrong is not accounting for all the taxes we paid in 2020.  So now we get the joy of arguing with the IRS.