Each of the solutions proposed so far has relied on non-standard (but presumably obvious) words: [211] and [r722] use `u>=`, [r725] uses `not`, [r726] uses `-rot`, [r727] uses `?exit` and `umin`. I'm not sure if that means more words should be standardized, or if we just need to be more careful in writing examples.
