Quad Int — norm nonneg