You’ve just redefined “expect” so that the problem goes away.
That… sounds like success to me. Did you want him to redefine it so the problem stuck around?
It sounds like solving a different problem. Like I said, it’s fine to claim that we should use a different notion than the one that we do, but changing it by fiat and then claiming there’s no problem is not doing that.
That… sounds like success to me. Did you want him to redefine it so the problem stuck around?
It sounds like solving a different problem. Like I said, it’s fine to claim that we should use a different notion than the one that we do, but changing it by fiat and then claiming there’s no problem is not doing that.