fixed remaining proof obligation in wd_outcome