Apply suggestion to grudge/symbolic/operators.py