The horizontal line does not flip at a test of 10 km, but the vertical line was flipped! |- | | Definition of length: Equality constraint for definition of length