nevermind -- `_sympify` won't work with None