Is this relative to the baseline of the next best thing Redwood and Remix participants would do with the time+resources or something else?

@NoaNabeshima the criteria is "suppose we had decided not to do remix and instead used the resources elsewhere etc. Would this have been higher expected utility? (given ex-post knowledge about the quality of remix and what we otherwise would have done)." I might edit this into the description.

I plausibly should have made this market before we commited to running REMIX.