PADI4 and depressive symptom measurement: 3.2. Depression-like Behaviors Are Relieved in PAD4 KO Mice