Triangle congruence and the Moulton plane (Q5957062)

The plane named after F. R. Moulton (1902) has rightfully earned wide reputation as a counterexample for Desargues' theorem. The authors introduce a metrics such that the emerging model satisfies Pasch's axiom. This model is quite interesting as there are triangles with angles adding up to more than 180 degrees. The Pythagorean theorem also fails. The main scope of the paper is to demonstrate that in that model any congruence theorem for triangles relating to both, side lengths and angles, is bound to fail.