PNX and Normalization Rules