એવી વ્યાખ્યા હેઠળ કેટલાક કાર્ય કે જે કંઈક સાબિત કરે છે તે બતાવે છે કે તે ક્યારેય ખોટું ન હોઈ શકે, જે અલગ છે.