Paulette is age $32,$ single, and reported AGI of $$80,000$ in tax year $2023.$ She is an active participant in her employer's pension plan. What amount of deductible IRA contribution is disallowed in $2023?$