English English true true English English true Truth functions English English truth-functional English true truth-functional English true true English true English English English English true English true English true true truth functions English English truth-functional true English