makes some of the examples with symbolics clearer