Yup. The missing assumption is that setting up and running experiments is inside the funny subset, perhaps because it’s fairly routine
Yup. The missing assumption is that setting up and running experiments is inside the funny subset, perhaps because it’s fairly routine