INS and Hyperinsulinemia: Treatment with the insulin sensitizer metformin, following a previous protocol29, significantly improves insulin sensitivity of Csn2WT/K70E mice (Fig. S1e), but hyperinsulinemia remains (Fig. S1f), again suggesting that hyperinsulinemia is unlikely to be downstream of insulin resistance in Csn2WT/K70E mice.