Simplify the `exists` function in `up`.