Retirement tax questions

Are you sure about saying there were no 2020 RMD’s ? I believe the option was to not take the RMD but if you actually did take it it’s still considered RMD and is taxable I believe.

what I still don’t understand is if someone did take their full RMD and tells TT that it was repaid when it wasn’t how does the IRS know it wasn’t repaid.