see it as better input, not output. it can only "solve" at the moment pretty mechanical work so you can focus on the real interesting stuff.