On Sat, Mar 29, 2014 at 09:21:05AM -0700, Thilina Bandara Rathnayake wrote:
>    I think params is more specific to
>    this occasion than the numbered_symbols since n1, n2, n3 are actually
>    parameter in the solution.

Just to be clear: numbered_symbols is a *function*.