--
--
-- Term Rewriting
--
--

def mathNormalize := id