Bukti nyan jeut meumacam-macam, lage verifikasi konsekuensi jih atau interkoneksi yeng kuat deungen hase yeng ditupe.