On Mon, 15 Nov 2010 14:06:34 -0500, Ellery Newcomer <ellery-newcomer at utulsa.edu> wrote: > quick question: are the following rewrites always valid: > > e1 != e2 -> !(e1 == e2) > e1 !is e2 -> !(e1 is e2) > e1 !in e2 -> !(e1 in e2) I believe this is in fact what the compiler does (rewriting). -Steve