EQUATIONS: 
slash(x,x) = 1()
slash(x,1()) = x
i(slash(x,y)) = slash(y,x)
slash(slash(x,y),z) = slash(x,slash(z,i(x)))

Fatal error: exception Maxcomp.Fail("I'm giving up
")