Rewritting math