let X = {1,2,3}

find [f: X -> X] {
    find [x: X] {
        f(x) != x
    }
}
