So, I am trying to derive the Feynman rules for Yukawa theory (following the section in Peskin). Specifically, for the process 2 fermions $\rightarrow$ 2 fermions. To second order, I then have that the amplitude is given by
$$(-i\lambda)^2\int d^4 x \int d^4y\ _0 \langle p',k'|T \left\{\bar{\psi}(x)\psi(x)\phi(x) \bar{\psi}(y)\psi(y)\phi(y)\right\}| p,k \rangle_0 $$
where $|p,k\rangle_0$ denotes a momentum eigenstate of the free dirac hamiltonian.
Now, I am perfectly comfortable with the statement that, from Wick's theorem, that this is the sum over all possible contractions of the fields (and in this case, the states as well).
So now pretend I'm Feynman (only more charming). Is my logic just simply "wow, I'd really like to replace these contraction symbols with something a bit more visual", and then proceed to list off exactly how I'm translating between my new symbols and the contractions?
I guess I'm just having trouble coming up with a "proof" going from the statement "the sum over all contractions" to the statement "draw a bunch of pictures, following these rules and you'll get back the same thing". Do I just try a bunch of different rules until I see a pattern?