See: GlobalMaximum = [int]