Because we did not observe a significant effect of S6K1 deletion on myopathy or a distinct molecular signature in the TSC1mKO mouse background, we focused on 4EBP1mt‐TSC1mKO mice for subsequent experiments. The gene discussed is RPS6KB1; the disease is myopathy.