What requires this to be true?