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