AIRE and thymus atrophy: Deletion of these cells in FSP1-TK transgenic mice caused thymus atrophy due to the loss of TECs, especially mature medullary TECs (MHCIIhigh, CD80+ and Aire+).