Rare Alan Turing/Robin Gandy notebook sold at auction in New York yesterday. http://www.bonhams.com/auctions/22795/lot/1/ 'tis pity BP wasted all their lottery money - but maybe they got it?