where the last equality is a consequence of the translation invariance of the Grassmann integral. The Grassmann variables η are external sources for ψ, and differentiating with respect to η pulls down factors of ψ.