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