So we'd need quantitative metrics to optimize... Presumably DAUs, and good ways to measure those, to tie into whatever the results of the prediction markets are? Or just optimize based on total zapped value?