[r-t] Doubles 240s

[Alexander Holroyd]

Changing the name might help, but it would be even better if people could 
understand that choice of names is an irrelevant distraction from the 
issue of what should be allowed.

Otherwise (as we have seen), we have to go through this silliness on every 
issue.

On Thu, 19 Mar 2015, Don Morrison wrote:

> On Thu, Mar 19, 2015 at 10:14 AM, Alan Reading <alan.reading at googlemail.com>
> wrote:
>> It strikes me John is using definition 1, whereas Ander is using
>> definition 2. I had assumed definition 2, just the difference
>> between a legal and a mathematical background I guess.
>
> So the problem is just a poor choice of name. The solution is obvious:
> change the name. Let's just call it the "identity change", and no one
> will be unhappy.