The Same Height condition is still here though, but who would want characters
of different heights in the same line?