Worked on SymPy.