model organisms have been used in the study of gsk3a function. a conditional knockout mouse line, called "gsk3a" was generated as part of the international knockout mouse consortium program — a high-throughput mutagenesis project to generate and distribute animal models of disease to interested scientists.