"1990.158.4.25" . . .