added properties congruent with normalization