Result of ``a is b''

[Andrew Koenig]

"Axel Boldt" <axelboldt at yahoo.com> wrote in message
news:40200384.0403170530.57b6bba4 at posting.google.com...

> Lastly, using my redefinition of "is", we have the following nice
> property for all objects a and b (mutable or immutable):
>
>  a is b  iff  in any code block not containing "id()" or "is", any
>               (or all) occurrances of a can be replaced by b, with
>               identical results

Interesting idea.  Perhaps you should consider writing a PEP.