Solvers > Parens supported