Continuity of lower envelopes. (3rd July 2017)