To be able to formally show that each transformation properly
preserves the meaning of every expression, we require an exact
definition of the \emph{meaning} of every expression, so we can
To be able to formally show that each transformation properly
preserves the meaning of every expression, we require an exact
definition of the \emph{meaning} of every expression, so we can