Fixed a few bugs. In particular, we know now that the Fermion propagator is not a Grassman-valued field. So it commutes with all the Grassman fields.