 Positive semantics allow some empty-termed atomic formulas not of the form \(\rE!t\) to be true. They are typically bivalent, though there are variants that allow truth-value gaps or extra truth values. Only bivalent semantics are considered in this section.