working on pick_wi proof