I'm pretty unfamiliar with how `lambdify` works.  What is the default backend if `use_numpy` isn't set to `True`?