let X = {1,2,3}

findall f,g: X -> X {
    f != g 
    AND
    (all x:X f(g(x)) = g(f(x))) 
    AND
    printstr "Model"
}
