"implements *the* `sympify` function..."