int boole ( x^2+y^2+z^2<z && z>sqrt(x^2+y^2) ), x=-oo..oo, y=-oo..oo, z=-oo..oo