simplified syntax
lemma Diff_replace
further progress in first step of non-negative payments in wd_outcome