pmg-operator-proof