Work in progress for normalizing the formulas [Broken]