 Like negative semantics, some positive semantics require each singular term to denote either a member of \(\bD\) or nothing at all. But then when a term fails to denote, the truth value of an atomic formula containing it cannot as usual be a function of its denotation, and the formula must be evaluated in some nonstandard way. To avoid such irregularity and yet permit empty-termed formulas to be true, other positive semantics allow singular terms to denote, and predicates to be satisfied by, nonmembers of \(\bD\). These nonmembers are collected into a second or outer domain \(\bD_o\), in contrast to which \(\bD\) is described as the inner domain. The result is a dual-domain semantics.