Bukti itu bisa bemacam-macam, kayak verifikasi konsekuensinya atawa interkoneksi nang kuat lawan hasil nang ditahui.