find [f: X*X -> X] such that { all [x,y: X] (f(x,y) = f(y,x)) }
{

    find [x,y,z: X] such that { f(x,f(y,z)) != f(f(x,y), z) }
}
