(1980, with O.