Rewrite, enabling symbolic computations