I have added psi reduction example.

If ok with you let's use the same example. As mentioned in email if we
introduce omega we'll lose everyone during psi reduction.
paper.tex changes