Formula Solver: Some more docs