I was under the impression that we would generally assume transformations are allowed, unless there is *specific* reason to know they are not. That is to say I would have expected your `is False` to be `is not True`. Similarly, I would have expected `sqrt(z).conjugate()` to do the conjugation. But it does not, so I guess my impression was wrong.