Comment by belovedeagle

They did. "Undefined" doesn't mean "unconsidered by the committee", it means "do what you must for optimization".