performed normalization on equality nodes