Added derivation of PM identity elimination.