halfspace
