Comment by dzogchen

Operator overloading is one of those things that needs to be done with good taste.