int z*Boole(x^2+y^2<z<4), x= -oo..oo, y=-oo..oo,z=-oo..oo