The approach of Joris Mithalal is more on the transition to formal proof in 3D
Geometry. Teaching mathematical proof is a great issue of mathematics education,
and geometry is a traditional context for it. Nevertheless, especially in plane
geometry, the students often focus on the drawings. As they can see results, they
don’t need to use neither axiomatic geometry nor formal proof.