What is Mostly Harmless Econometrics' analog in formal theory