Notes on proofs and authors c. 1978