PM + 2 proof