Premis: Bentuk sederhana dari kontrol aliran dikenal sebagai stop and wait.
Hipotesis: Bentuk kontrol aliran adalah stop.
Label: contradiction