I do agree ... I'd love "recomputation" and variants to catch on. I also agree completely about distinguishing between recomputation and a proper reproduction.

I do agree ... I'd love "recomputation" and variants to catch on. I also agree completely about distinguishing between recomputation and a proper reproduction. It's not what I emphasise in the manifesto but it is true that a recomputation doesn't really say anything about the generality of a result.