Exploring a possible result to see if it is worth formal proof.
Menelusuri hasil yang mungkin untuk melihat apakah berharga untuk dibuktikan secara formal.