Normalization. PCF