Seucara informal, jih meutanyeng peu seutiap masalah yeng solusi jih jeut deungen bagah diverifikasi le komputer cit jeut diseulesaikan deungen bagah le komputer; seucara luah diduga bahwa jawaban jih adalah hana.