slightly changed PMFs for the example