Oh. I see. I thought your numbers were for Nelson’s proof working. Hmm, given that, they seem more reasonable but still too high. I’d need to think more carefully about how likely I’d estimate things.
Oh. I see. I thought your numbers were for Nelson’s proof working. Hmm, given that, they seem more reasonable but still too high. I’d need to think more carefully about how likely I’d estimate things.