Who said it was my highest priority? Obviously having a solver is the highest priority, but it turns out that if you purport to have made a mathematica competit

Who said it was my highest priority? Obviously having a solver is the highest priority, but it turns out that if you purport to have made a mathematica competitor, that was the baseline. If you don't have that, you have nothing. So the question is never "can it do what it needs to", it's always "can it do the things which keep me using Mathematica, instead of Sage, like letting me compose notebooks that contain, and show, actual maths?" And yes, I enjoy writing in math notation because it's an immediately understandable notation compared to 500 character programming statement.