viewof risk_reduction_with_miri = cell(`risk_reduction_with_miri = portion_of_x_risk_for_ai * portion_of_x_risk_reduced_given_miri_solves_agent_foundations * chance_miri_solves_its_technical_agenda
risk_reduction_with_miri`, [portion_of_x_risk_for_ai, portion_of_x_risk_reduced_given_miri_solves_agent_foundations, chance_miri_solves_its_technical_agenda])