Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:However, the two results [23] and [25] are not very helpful in that respect because they use an exhaustive approach — the underlying algorithm will always stop when some condition is met (and we are sure that this condition must eventually be met) — but we do not have a priori any clue on how much time this will take.
Category: