計算論的思考, 10年後