Sameness of length, to the contrary, must be set by definition