finished SymPy