Retirement tax questions

Interesting.  So it's taxable by code, but unlikely to be enforceable most of the time?