robots_2010_proof