Induction of metallothionein in human skin by routine exposure to sunlight: Evidence for a systemic response and enhanced induction at certain body sites

Expression of metallothionein, an antioxidant induced by a variety of stimuli including ultraviolet light, was quantitated by immunohistochemistry in the skin of males aged over 50 who had known short- and long-term exposures to sunlight. Skin punch biopsies were taken from two sites in each subject: the hand in all subjects and a range of other sites matched to patients with a previously excised primary melanoma. Metallothionein expression (strongest in the basal layers of the epidermis and primarily nuclear) was associated with both short- and long-term exposure to sunlight. A plateau of staining intensity was reached after 3 h sun exposure, within the previous 3 d before biopsy. Expression was also elevated in the nonexposed skin sites of subjects who had recent sun exposure, indicating a systemic response to exposure of remote sites. Using the skin of the hand to normalize responses to chronic exposure between individuals, the systemically modulated response to sunlight was significantly greater on the unexposed back than on other sites. The possibility of ultraviolet-induced cytokines selectively modifying the response of skin on a site-specific basis was investigated. The circulating leukocytes, but not lymphocytes, of two individuals exposed to 1 minimal erythema dose whole-body solar-simulated ultraviolet showed increased interleukin-6 mRNA 4 h after exposure. Interleukin-6 was not directly induced in these cell populations 4 h after ultraviolet A or ultraviolet B irradiation ex vivo . Leukocytes may therefore contribute to and amplify the systemic effects of ultraviolet-induced interleukin-6 and metallothionein expression.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.