Midpoint and Congruence