More about empirical evaluation of formal theory