Finished SymPy