$\bot$ $x$ $propose(x) / x$ $propose(y) / x$