f(f(v2,v2),f(v2,v1)) = v2. f(v2,f(v2,v2)) = f(v1,f(v1,v1)). f(v2,f(f(v1,v0),f(v1,v0))) = f(v0,f(f(v1,v2),f(v1,v2))). f(v2,f(v2,f(v2,v1))) = f(v2,v1). f(v2,f(v1,f(v2,f(v0,v0)))) = f(v2,f(v0,f(v2,f(v1,v1)))).