{
  "target_pi": [
    "1/2",
    "1/3",
    "1/6"
  ],
  "function_f": [
    0,
    1,
    4
  ],
  "target_expectation": "1",
  "three_proposals": [
    {
      "proposal_q": [
        "1/3",
        "1/3",
        "1/3"
      ],
      "importance_values_f_pi_over_q": [
        "0",
        "1",
        "2"
      ],
      "exact_expectation": "1",
      "variance_one_draw": "2/3",
      "uncorrected_expectation": "5/3",
      "all_nine_independent_two_draw_worlds_mean": "1",
      "two_draw_mean_variance": "1/3"
    },
    {
      "proposal_q": [
        "1/12",
        "1/3",
        "7/12"
      ],
      "importance_values_f_pi_over_q": [
        "0",
        "1",
        "8/7"
      ],
      "exact_expectation": "1",
      "variance_one_draw": "2/21",
      "uncorrected_expectation": "8/3",
      "all_nine_independent_two_draw_worlds_mean": "1",
      "two_draw_mean_variance": "1/21"
    },
    {
      "proposal_q": [
        "3/4",
        "1/6",
        "1/12"
      ],
      "importance_values_f_pi_over_q": [
        "0",
        "2",
        "8"
      ],
      "exact_expectation": "1",
      "variance_one_draw": "5",
      "uncorrected_expectation": "1/2",
      "all_nine_independent_two_draw_worlds_mean": "1",
      "two_draw_mean_variance": "5/2"
    }
  ],
  "zero_proposal_where_f_pi_zero_is_allowed": {
    "q": [
      "0",
      "1/3",
      "2/3"
    ],
    "expectation": "1"
  },
  "rejected": [
    [
      "1/2",
      "1/2",
      "0"
    ],
    [
      "-1",
      "1",
      "1"
    ],
    [
      "1/2",
      "1/3",
      "1/3"
    ],
    [
      "True",
      "0",
      "0"
    ]
  ],
  "scope": "all finite worlds exactly enumerated; no random draw, self-normalized ratio, Markov chain or real model/variance-quality guarantee"
}