Note added: I forgot to mention that in the definition of the non-deterministic rank, the functions g(x,y) minimized over can be complex valued (they do not need to be Boolean, but need to share the zero's of f(x,y) ).