which is useful to specify constraints. Functional integrals can also be done over Grassmann-valued functions ψ ψ ( x ) , where ψ ψ ( x ) ψ ψ ( y ) = − − ψ ψ ( y ) ψ ψ ( x ) , which is useful in quantum electrodynamics for calculations involving fermions.