Aliasing fun

[Robert Dewar]

<<It's not so much they don't understand, as they keep ignoring the
substantive issue in favor of arguing about undecidability.
Guess it's just more fun.;
>>

Actually Dan, the way the mail shows up in my mail reader, it is you who
have been aggressively arguing that undecidability was a significant issue.
And now it seems that all you meant was that it's difficult to decide, which
of course is something else entirely.