मग आपण एक नवीन टाईपचे व्हॅल्यू इंट्रोड्यूस करतो, जे लॉजिकल व्हॅलूसाठी तितके ओळखीचे नसू शकते आणि जे ट्रू आणि फाल्स आहेत ते बूल टाईप आहेत.
അതിനുശേഷം നമ്മൾ ഒരു പുതിയ തരം മൂല്യത്തെ അവതരിപ്പിക്കുന്നു, അത് ലോജിക്കൽ മൂല്യങ്ങൾക്ക് അത്ര പരിചിതമല്ലാത്തതും ട്രൂവോ ഫാൾസോ തരുന്ന ബൂൾ ടൈപ്പാണ്.