DINOS 1987 PROOFS