DINOS 1990 PROOFS