robots_nov2010_proof