> (એસ્ટિડન્ટ == સાચું) શરત વિશે નોંધવું કંઈક છે આ સ્થિતિ એ સ્પષ્ટ કરવા માટે લખવામાં આવે છે કે આપણે તે ચકાસી રહ્યા છીએ કે શું > સ્ટુડન્ટ પાસે સાચું મૂલ્ય છે, પરંતુ કારણ કે તે > બુલિયન ચલ છે, આપણે વાસ્તવમાં લખી શકીએ છીએ: