 In Section 3.5., we made a distinction between real and estimated progress in terms of the truthlikeness measures. A similar distinction can be made in connection with measures of empirical success. For example, one may distinguish two notions of the problem-solving ability of a theory: the number of problems solved so far, and the number of solvable problems. Real progress could be defined by the latter, while the former gives us an estimate of progress.