Move this up (from sympy import lines, like Mul)