lower-semicontinuous