simplified case FalseTrue deep inside wd_outcome