전제: 그런데 이 과정에서, 표결을 제외한 과정은 각 과정에서 지연될 수 있는 최대 기간이 지나면 다음 과정으로 자동으로 넘어가게 된다.
함의: 표결을 제외한 과정은 지연 가능 최대 기간이 지나면 자동으로 다음 과정으로 넘어간다.
모순: 표결을 제외한 과정은 지연될 수 있는 최대 기간이 지나도 자동으로 넘어가지 않는다.