proof-1980proof-1981proof-1982proof-1983proof-1984proof-1985proof-1987proof-1988proof-1989