simplify diagram
fix location of qed signs
wording
used separated sum instead of coalesced sum
wording