Secara informal, inya menakun akan apakah setiap masalah nang solusinya kawa dengan hancap diverifikasi oleh komputer jua kawa dituntung akan hancap oleh komputer; secara luas diduga bahwa jawabannya adalah kada.