Dinos 1993 proofs