Once a definition of congruence is given, the choice of geometry is no longer in our hands; rather, the geometry is now an empirical fact.