more documentation of wd_outcome proof