HAS3 and myasthenia gravis: Instead, Has1−/−; Has3−/− mice had limited to no signs of MG atrophy and dropout, presenting healthy MGs with no signs of MGD (Fig. 2).