Showing that a program P has some property is a simple process if the actions inside the program are uninterruptible.
Демонстрація того, що програма P має деяку властивість — це простий процес, якщо дії всередині програми є безперервними.