Hi all,  I know I knew this at one time, but under what IRS Code are district libraries tax exempt? We do not have a 501(c)(3), but there is a section of the IRC that covers us.