This is where SymPy users will interact with this module.