As long as some member of the unavoidable set is not reducible, the discharging procedure is modified to eliminate it (while introducing other configurations).
Όσο κάποιο μέλος του αναπόφευκτου συνόλου δεν δύναται να ελαττωθεί, η διαδικασία αποφόρτισης μετατρέπεται ώστε να το εξαλείψει (καθώς εισάγονται άλλες διαμορφώσεις).