GSK3B and depressive symptom measurement: In knockin mice in which one or the other isoform of GSK3 was mutated to a hyperactive form, those with hyperactive GSK3β (but not GSK3α) displayed heightened vulnerability to the learned helplessness model of depression-like behavior [70].