Would you agree that we’re all (in this thread) drawing the same distinction and just labelling it differently?
I agree that we should switch to the standard term “utils” here, but I think I wouldn’t go for also using “utilons” in the way you propose; enough people would continue to use the words in a different way that we wouldn’t succeed in ironing out the confusion. I’d prefer something like “global utils” and “fuzzy utils/fuzzies” which can’t be taken to mean something else.
Would you agree that we’re all (in this thread) drawing the same distinction and just labelling it differently?
I agree that we should switch to the standard term “utils” here, but I think I wouldn’t go for also using “utilons” in the way you propose; enough people would continue to use the words in a different way that we wouldn’t succeed in ironing out the confusion. I’d prefer something like “global utils” and “fuzzy utils/fuzzies” which can’t be taken to mean something else.