Entering the laboratory…

half-plane-inequality