one minor step in wd_outcome proof