Bisects bad extensions by disabling half of them at a time. Allows to find an extension causing a problem in O(log n) steps.
