Kotaro Komatsu (Japan), in line with a long tradition of considering Lakatos epistemology as relevant for mathematics education, proposed to consider Lakatos’ Heuristic Rules as A Framework for Proofs and Refutations in Mathematical Learning: Local Counterexample and Modification of Proof