Full context:   Imre Lakatos divided the problems of falsification into two categories. The first corresponds to decisions that must be agreed upon by scientists before they can falsify a theory. The other is the use of falsifications and corroborations to explain progress in science. Lakatos described four kinds of falsificationisms: Lakatos used dogmatic and naive falsificationism to describe how Popper changed over time and viewed sophisticated falsificationism as his refinement, but also said that Popper sometimes presents as a sophisticated falsificationist. Popper responded that Lakatos was misrepresenting his intellectual history.