Empirical evaluation of formal theory