I think even “non-intelligent” solver like Mathematica is cool - so hell yes, this is cool.