detailed plan of ConstructAndInsertNormalizedImpl