Oh, I see you're using `term.variableString` here too, but I'm still confused how it works. I *think* if you create a `Term(5, "xy")` it looks like `term.variableString` will be `0x1y`, but then you're using that to index into `variables` here? I'm confused :(