However, when the action is interruptible, Lipton showed that through a type of reduction and analysis, it can be shown that the reduced program has that property if and only if the original program has the property.
Проте, коли дія переривається, Літптон показав, що за допомогою певного типу зменшення та аналізу можна показати, що скорочена програма має таку властивість тоді і тільки тоді, коли оригінальна програма має цю властивість.