You can remove this if you want. I wrote this before I fully understood how Eq was used in SymPy.