minor formatting and reorganisation
restarted payments part of wd_outcome proof into (hopefully) right direction