CoRR, July 2010