dinos 2010 proofs