If progress is adequately explained by problem-solving models, the claim that truthlikeness is neces...