Further Examples: $Assumptions
It is not true in general that .
This stores the value of $Assumptions in old$Assumptions so that the present value of $Assumptions may be restored at the end of this set of examples.
This assumption is needed in order to simplify .
This simplification is done assuming $Assumptions.
This restores the old value of $Assumptions and then clears the symbol old$Assumptions.