4
http://www.emftext.org/language/threevaluedlogic