proved case FalseFalse deep inside wd_outcome