This would be a good place to describe how the parametrized solutions work. 

By the way, it seems to me that the API should return a Tuple, the first argument being the solution set and the second being the set of parameters. How else is the user going to get at `t` (which I'm assuming is a Dummy).