આનું ઉદાહરણ "કોઈ બેચલર લગ્ન નથી" - જો આપણે જાણીએ કે "બેચલર" અને "વિવાહિત" એટલે શું, તો પછી આપણે જાણીએ છીએ કે સ્ટેટમેન્ટ સચોટ છે.