Inequality-constrained inference in linear normal situations
