 Positive semantics treat formulas of the form \(t=t\) as true, whether or not \(t\) is empty. Hence they validate (A7), which affirms all self-identity statements, not merely the weaker (A(7-), which affirms only self-identities between nonempty terms.