Yep used the correct AGI!
I thought about using 0 but I was worried that'd mess with future items once my 2023 documents are finally accepted by the IRS.
